struct f
{
  template< class x>
  struct app
  {
    template< class y>
    struct app:||e||
    {
        typedef typename ||e||::value value;
    };
  };
};
